access: youtube, provided by access: technology

Search Results

[SRC POPL'22] Michael Fitzgibbons -- CapableWasm: Bringing Better Interop Down to WebAssembly

[SRC POPL'22] Michael Fitzgibbons -- CapableWasm: Bringing Better Interop Down to WebAssembly
[SRC POPL'22] Paulette Koronkevich -- Dependent-Type-Preserving Memory Allocation

[SRC POPL'22] Paulette Koronkevich -- Dependent-Type-Preserving Memory Allocation
[POPL'22] Isolation without Taxation: Near-Zero-Cost Transitions for WebAssembly and SFI

[POPL'22] Isolation without Taxation: Near-Zero-Cost Transitions for WebAssembly and SFI
[SRC POPL'22] Jonathan Chan -- Towards a Syntactic Model of Sized Dependent Types

[SRC POPL'22] Jonathan Chan -- Towards a Syntactic Model of Sized Dependent Types
[SRC POPL'22] Tianyu Chen -- Generic Blame-Subtyping Theorem in Agda Using Abstract Binding Trees

[SRC POPL'22] Tianyu Chen -- Generic Blame-Subtyping Theorem in Agda Using Abstract Binding Trees
Enabling Graph-Based Profiling Analysis of HPC Applications using Hatchet (SC20 ACM SRC)

Enabling Graph-Based Profiling Analysis of HPC Applications using Hatchet (SC20 ACM SRC)
Performance Prediction of Large Data Transfers (ACM SRC - SC21)

Performance Prediction of Large Data Transfers (ACM SRC - SC21)
[POPL'22] TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Pr

[POPL'22] TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Pr
TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs (Teaser)

TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs (Teaser)
Return of CFA: Call-Site Sensitivity Can Be Superior to Object Sensitivity Even for Object (Teaser)

Return of CFA: Call-Site Sensitivity Can Be Superior to Object Sensitivity Even for Object (Teaser)
POPL2022 - The Deadline (Official Trailer)

POPL2022 - The Deadline (Official Trailer)
[POPL 2021] Robin Milner Award: Eran Yahav, talking about "Structural Language Models of Code"

[POPL 2021] Robin Milner Award: Eran Yahav, talking about "Structural Language Models of Code"